Premio Capitolo Italiano della EATCS per Tesi di Dottorato su argomenti di Informatica Teorica

====================================================

 

Premio per Tesi di Dottorato su argomenti di Informatica Teorica

-------------------------------------------------------------------------------------------

 

1. Introduzione

Tra le principali attività del Capitolo Italiano della EATCS vi è quella di promuovere la ricerca in informatica teorica, cercando di incoraggiare e sostenere i giovani italiani brillanti. Tra le attività previste con questo obiettivo vi è il premio per la miglior tesi di dottorato in Informatica Teorica.

 

2. Requisiti per la partecipazione

Il Capitolo Italiano della EATCS bandisce per il 2012 due premi per le

migliori tesi di dottorato su argomenti di Informatica Teorica, uno su argomenti di Algoritmi, Automi, Complessità e Teoria dei Giochi, intitolato alla memoria del Prof. Stefano Varricchio, ed uno su argomenti di Logica, Semantica e Teoria della Programmazione, intitolato alla memoria della Prof.ssa Nadia Busi.

 

Possono partecipare persone che abbiano sottomesso la tesi per

conseguire un Dottorato di Ricerca in Italia negli anni 2010, 2011 e

2012 (sono ammessi anche i candidati che hanno sottomesso la tesi e

sono in attesa dell'esame finale).

 

3. Presentazione della domanda

Gli interessati devono inviare entro il 15 Aprile 2012 all'indirizzo premio-tesi@disi.unige.it

un messaggio di posta elettronica, il cui subject è costituito dalla stringa CognomeNome, e contenente nel corpo:

 

- Nome e Cognome

- Dipartimento e Università di afferenza

- Denominazione del Dottorato di Ricerca ed  e-mail del Coordinatore

- Titolo della tesi e data di sottomissione

- Premio a cui si intende concorrere (Algoritmi, Automi, Complessità e teoria dei giochi oppure Logica, Semantica e Teoria della Programmazione)

- Nome e Cognome del Relatore della tesi (e di eventuali revisori esterni)

- Iscrizione al Capitolo Italiano EATCS propria e del Relatore (si/no)

 

a cui allegare copia della tesi in formato pdf ed eventuali pareri del

Collegio Docenti e dei revisori esterni (preferibilmente in pdf).

 

Conferma dell'avvenuta ricezione sarà inviata entro 3 giorni

(contattare Tiziana Calamoneri - calamo@di.uniroma1.it o Eugenio Moggi - moggi@disi.unige.it, in caso di ritardi nella conferma).

 

4. Commissione

La selezione sarà effettuata dalla Commissione nominata dal Consiglio

Direttivo del Capitolo Italiano della EATCS composta dai Proff.

 

- Prof.ssa Marcella Anselmo (Università di Salerno)

- Prof. Pierluigi Crescenzi (Università di Firenze)

- Prof. Gianluigi Zavattaro (Università di Bologna)

 

5. Vincitori e Premiazione

I vincitori del premio saranno informati via e-mail entro il 31/7/2012.

La premiazione avverrà durante ICTCS 2012 (Italian Conference on Theoretical

Computer Science).

 

E' richiesto che i vincitori presentino i risultati principali della tesi in una sessione di ICTCS 2012 appositamente dedicata.  La data e il luogo per le presentazioni e le premiazioni saranno pubblicizzati successivamente, insieme al programma del convegno.

 

6. Premio

Il premio consiste nella somma di 400 euro. Oltre al premio, il Capitolo Italiano pagherà l'iscrizione a ICTCS 2012 e la sistemazione alberghiera dei vincitori per tutta la durata del convegno (altre spese non saranno né coperte né rimborsate).

Inoltre, si prevede di poter pubblicare le tesi premiate su una nuova serie dedicata allo scopo edita dalla Atlantic Press. Maggiori informazioni potranno essere disponibili dopo la selezione dei vincitori (prevista entro luglio 2012) alla pagina web del Capitolo Italiano http://www.eatcs.org/index.php/italian-chapter.